Binary function

Results: 315



#Item
51Lambda calculus / Subroutines / Anonymous function / Functional programming / Closure / C++11 / C++ / Lambda / Binary lambda calculus / Software engineering / Computing / Computer programming

Document number: N2510=Alisdair Meredith on behalf of BSI PanelBSI Position on Lambda Functions Background

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2008-02-04 01:08:24
52Binary operations / Mathematical notation / Calculators / Logarithms / Units / Calculator / Function / Multiplication / Exponentiation / Mathematics / Mathematical analysis / Functions and mappings

Spotter Benjamin Crowell www.lightandmatter.com Contents

Add to Reading List

Source URL: www.lightandmatter.com

Language: English - Date: 2014-07-16 18:55:16
53Algebraic logic / Camera lens / Anamorphism / Fold / Heap / Surjective function / Binary relation / Boolean algebra / Mathematics / Mathematical logic / Mathematical analysis

Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner

Add to Reading List

Source URL: dmwit.com

Language: English - Date: 2011-01-31 16:10:19
54Systems engineering / Theoretical computer science / Diagrams / Formal methods / Binary decision diagram / Model checking / Formal verification / Boolean function / Verification / Boolean algebra / Mathematics / Mathematical logic

THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli

Add to Reading List

Source URL: research.meolic.com

Language: English - Date: 2013-12-04 04:28:45
55GMR / Claw-free permutation / Digital signature / One-way function / Goldwasser–Micali cryptosystem / Silvio Micali / Quadratic residue / RSA / Binary tree / Cryptography / Public-key cryptography / Electronic commerce

Appeared in Advances in Cryptology { Crypto `86 (Proceedings), (A.M. Odlyzko ed.), Lecture Note in Computer ScienceSpringer Verlag, pages 104{110, 1987. Two Remarks Concerning the Goldwasser-Micali-Rivest Signatur

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:26:58
56Continuous function / Latin alphabets / Operator theory / Information theory / Mathematical analysis / Mathematics / Calculus

Multicategory Ã-Learning¤ Yufeng Liu and Xiaotong Shen Summary In binary classi¯cation, margin-based techniques usually deliver high performance. As a re- sult, a multicategory problem is often treated as a sequence o

Add to Reading List

Source URL: stat-or.unc.edu

Language: English - Date: 2009-08-13 14:16:22
57Space / Topological space / Open set / Connected space / Boundary / Equivalence relation / Closure / Continuous function / Dimension / Topology / General topology / Mathematics

Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases3 Max J. Egenhofer University of Maine, National Center for Geographic Information and Analysis and Department of Survey

Add to Reading List

Source URL: www.spatial.maine.edu

Language: English - Date: 1998-04-04 01:13:59
58Measurement / Probability and statistics / Binary lambda calculus / Poisson distribution / Statistics / Lambda / Poisson processes

g01 – Simple Calculations on Statistical Data g01gcc NAG C Library Function Document nag_prob_non_central_chi_sq (g01gcc)

Add to Reading List

Source URL: www.softintegration.com

Language: English - Date: 2004-10-25 19:49:07
59Geometry / Locality-sensitive hashing / Hash function / Hash table / Hamming distance / Nearest neighbor search / Search algorithms / Information science / Information retrieval

The Power of Asymmetry in Binary Hashing Behnam Neyshabur Payman Yadollahpour Yury Makarychev Toyota Technological Institute at Chicago

Add to Reading List

Source URL: papers.nips.cc

Language: English - Date: 2014-11-26 14:29:25
60Poisson processes / Noncentral beta distribution / Poisson distribution / Beta distribution / Lambda calculus / Binary lambda calculus / Noncentral F-distribution / Statistics / Mathematical analysis / Probability and statistics

g01 – Simple Calculations on Statistical Data g01gec NAG C Library Function Document nag_prob_non_central_beta_dist (g01gec)

Add to Reading List

Source URL: www.softintegration.com

Language: English - Date: 2004-10-25 19:49:07
UPDATE